A <#52#>predicate<#52#> is a procedure that always returns a boolean value (<#53#><#53#> or ). An <#54#>equivalence predicate<#54#> is the computational analogue of a mathematical equivalence relation (it is symmetric, reflexive, and transitive). Of the equivalence predicates described in this section, <#55#>eq?<#55#> is the finest or most discriminating, and <#56#>equal?<#56#> is the coarsest. <#57#>Eqv?<#57#> is slightly less discriminating than <#58#>eq?<#58#>. <#59#>Pitman doesn't like this paragraph. Lift the discussion from the Maclisp manual. Explain why there's more than one predicate.<#59#>